#include "head.h"

int main(int argc, char *argv[])
{                                  
  print(1999);
  return 0;
}

